Categorical may refer to: *

Categorical imperative The categorical imperative (german: kategorischer Imperativ) is the central philosophical concept in the deontological moral philosophy of Immanuel Kant. Introduced in Kant's 1785 ''Groundwork of the Metaphysic of Morals'', it is a way of evalu ...

, a concept in philosophy developed by Immanuel Kant *

Categorical theory In mathematical logic, a theory is categorical if it has exactly one model ( up to isomorphism). Such a theory can be viewed as ''defining'' its model, uniquely characterizing the model's structure. In first-order logic, only theories with a fin ...

, in mathematical logic *

Morley's categoricity theorem In mathematical logic, a theory is categorical if it has exactly one model (up to isomorphism). Such a theory can be viewed as ''defining'' its model, uniquely characterizing the model's structure. In first-order logic, only theories with a fini ...

, a mathematical theorem in model theory *

Categorical data In statistics, a categorical variable (also called qualitative variable) is a variable that can take on one of a limited, and usually fixed, number of possible values, assigning each individual or other unit of observation to a particular group or ...

analysis *

Categorical distribution In probability theory and statistics, a categorical distribution (also called a generalized Bernoulli distribution, multinoulli distribution) is a discrete probability distribution that describes the possible results of a random variable that can ...

, a probability distribution *

Categorical logic __NOTOC__ Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic. It is also notable for its connections to theoretical computer science. In broad terms, categ ...

, a branch of category theory within mathematics with notable connections to theoretical computer science *

Categorical syllogism A syllogism ( grc-gre, συλλογισμός, ''syllogismos'', 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. ...

, a kind of logical argument *

Categorical proposition In logic, a categorical proposition, or categorical statement, is a proposition that asserts or denies that all or some of the members of one category (the ''subject term'') are included in another (the ''predicate term''). The study of arguments ...

, a part of deductive reasoning *

Categorization Categorization is the ability and activity of recognizing shared features or similarities between the elements of the experience of the world (such as Object (philosophy), objects, events, or ideas), organizing and classifying experience by a ...

Categorical perception Categorical perception is a phenomenon of perception of distinct categories when there is a gradual change in a variable along a continuum. It was originally observed for auditory stimuli but now found to be applicable to other perceptual modalit ...

Category theory Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...

in mathematics **

Categorical set theory Categorical set theory is any one of several versions of set theory developed from or treated in the context of mathematical category theory. See also * Categorical logic __NOTOC__ Categorical logic is the branch of mathematics in which tools ...

Recursive categorical syntax Michael K. Brame (January 27, 1944 — August 16, 2010) was an American linguist and professor at the University of Washington, and founding editor of the peer-reviewed research journal, ''Linguistic Analysis''. He was known for his theory of recu ...

in linguistics